1

Verification of qualitative constraints

Year:
2008
Language:
english
File:
PDF, 1.11 MB
english, 2008
2

An Automata-based Approach for CTL⋆ With Constraints

Year:
2009
Language:
english
File:
PDF, 410 KB
english, 2009